Stringy K-theory and the Chern Character

We construct two new G-equivariant rings: K (X, G), called the stringy K-theory of the G-variety X, and H (X, G), called the stringy cohomology of the G-variety X, for any smooth, projective variety X with an action of a finite group G. For a smooth Deligne-Mumford stack X , we also construct a new ring Korb(X ) called the full orbifold K-theory of X . We show that for a global quotient X = [X/G], the ring of G-invariants Korb(X ) of K (X, G) is a subalgebra of Korb[X/G] and is linearly isomorphic to the “orbifold Ktheory” of Adem-Ruan [AR] (and hence Atiyah-Segal), but carries a different “quantum” product which respects the natural group grading. We prove that there is a ring isomorphism Ch : K (X, G) → H (X, G), which we call the stringy Chern character. We also show that there is a ring homomorphism Chorb : Korb(X ) H • orb (X ), which we call the orbifold Chern character, which induces an isomorphism Chorb : Korb(X ) H • orb (X ) when restricted to the sub-algebra Korb(X ). Here H • orb (X ) is the Chen-Ruan orbifold cohomology. We further show that Ch and Chorb preserve many properties of these algebras and satisfy the Grothendieck-Riemann-Roch Theorem with respect to étale maps. All of these results hold both in the algebrogeometric category and in the topological category for equivariant almost complex manifolds. We further prove that H (X, G) is isomorphic to Fantechi and Göttsche’s construction [FG, JKK]. Since our constructions do not use complex curves, stable maps, admissible covers, or moduli spaces, our results greatly simplify the definitions of the Fantechi-Göttsche ring, Chen-Ruan orbifold cohomology, and the Abramovich-Graber-Vistoli orbifold Chow ring. We conclude by showing that a K-theoretic version of Ruan’s Hyper-Kähler Resolution Conjecture holds for the symmetric product of a complex projective surface with trivial first Chern class.